Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
671	Commentary on Standard ML Commentary on Standard ML Robin Milner and Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:44:07 Functional languages Procedural programming languages Robin Milner Mads Tofte ML Robert Harper Milner Unit of alcohol Software engineering Programming language theory Computing
672	The Polyhedral Compilation Package P Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Compiler optimizations Phencyclidine Loop optimization Probabilistically checkable proof ALGOL 68 Polytope model GNU Compiler Collection Software Computing Programming language theory
673	Annex V REPORTSOF WORKING GROUP 13 ON ZOOPLANKTONSAMPLING METHODS Report of the Chairman Add to Reading List Source URL: www.scor-int.org Language: English - Date: 2015-03-12 14:15:45 Biological oceanography Biology Programming language theory Marine biology Zooplankton ALGOL 68 Plankton Working group Planktology Water Aquatic ecology
674	Mareeba Dimbulah fees & charges 11-12 Add to Reading List Source URL: www.sunwater.com.au Language: English - Date: 2014-06-23 02:57:21 ML SunWater Water pricing Programming language theory Software engineering Computing
675	DOC Document Add to Reading List Source URL: www.unescobkk.org Language: English - Date: 2011-01-17 03:11:40 Software engineering Programming language theory Computing Please C
676	FEEVER Mee(ng – October 13,2014 Type Inference in Multirate Faust Is Undecidable Pierre Jouvelot MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-10-14 15:49:58 Software engineering Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Diophantine equation Function Type theory Data types Mathematics
677	Know your numbers – Data Collection 2015 QLD Instructions   Enter the month when health checks started Add to Reading List Source URL: strokefoundation.com.au Language: English - Date: 2015-04-08 02:41:26 Software engineering Programming language theory Computing C Cross-platform software
678	Terms_Conditions_IDS_PRODUCT SHEET_A3_4indd Add to Reading List Source URL: www.interactivedata.com Language: English - Date: 2015-04-10 14:56:17 Market data Database Geographic information system C Software engineering Programming language theory Computing Database theory Interactive Data Corporation
679	Optimization opportunities in GRAPHITE Optimization opportunities in GRAPHITE Tobias Grosser University of Passau Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Loop optimization Static single assignment form Matter Polytope model Polytope Mathematical optimization Graphite Dependence analysis Carbon Compiler optimizations Programming language theory Chemistry
680	APPLICATION TO BROADCAST A PROGRAM New Programs MAIN CONTACT DETAILS Add to Reading List Source URL: 893fm.com.au Language: English - Date: 2012-06-04 23:39:03 Software engineering Programming language theory Computing C Cross-platform software

UPDATE